int SOME_KERNEL_FOO_INT = 0;
